Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Непомнящий В. А. , Бодин Е. В. , Веретнов С. О. «Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL» // Вестник ТГУ. УВТиИ 2020. №53 C.118-126